Boolean satisfiability problem

#	Item
321	PDF Document Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2008-01-29 07:56:37 Model theory Information science Ontology Boolean satisfiability problem Description logic First-order logic Algorithm Axiom Satisfiability Logic Mathematical logic Mathematics
322	PDF Document Add to Reading List Source URL: www.bracil.net Language: English - Date: 2007-05-26 07:26:52 Logic in computer science Operations research Constraint programming NP-complete problems Heuristics Guided Local Search Local search Boolean satisfiability problem Tabu search Theoretical computer science Applied mathematics Mathematics
323	PDF Document Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2007-05-11 00:32:50 Package management system Debian SYS Fink Ubuntu Boolean satisfiability problem Package Linear programming ZYpp Software Dpkg Advanced Packaging Tool
324	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-10-29 09:10:43 Metalogic Model theory Logic in computer science Formal languages Propositional calculus Substitution Symbol Boolean satisfiability problem Structure Mathematics Logic Theoretical computer science